Modeling Language Variability

نویسندگان

  • Hans Grönniger
  • Bernhard Rumpe
چکیده

A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs. Variants can be obtained by adopting the syntax or semantics of the language. In this paper, we take a formal approach to define modeling language variability and show how this helps to reason about language variants, models, and their semantics formally. We introduce the notion of semantic language refinement meaning that one semantics variant is implied by another.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Variability within Modeling Language Definitions

We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly document and manage the variation poi...

متن کامل

Establishing Role-based Access Control in Viewpoint-oriented Variability Management

Process roles are used to structure complex engineering processes in single systems development for many years. Typically, each role has specific responsibilities from which certain information demands originate. In the engineering of variable software, role-specific information demands affect variability information. To control the access to the variability information, we suggest using the co...

متن کامل

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

The Abstract Behavioral Specification (ABS) language facilitates to precisely model the behavior of highly configurable, distributed systems. Its basis is Core ABS which is a strongly typed, abstract, objectbased, concurrent, fully executable modeling language. Spatial variability of ABS models is represented by feature models, delta modules containing modifications of ABS models, product line ...

متن کامل

Modeling Variability - From Direct Modeling to Generative Modeling

The paper shows how mechanisms of existing modeling languages (exemplified by UML 2.0) support the direct modeling of variability in software product lines/system families, and identifies where generative modeling (similar to generative programming) should be applied. Existing mechanisms are not only well-known mechanisms like composition, specialization, and generics/templates, but also less k...

متن کامل

Delta Modeling for Software Architectures

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010